Polynomial Time Reduction - Intro To Theoretical Computer Science